<?php
	echo number_format(30000);
?>